2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

219 219 1748 0 0 0 0 0 0

N.S.

1 1.00 7.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.497 23.817 0.000 0.000 0.000 0.000 0.000 0.000

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

105 105 310 0 0 0 0 0 0

N.S.

1 1.00 2.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 14.390 0.000 0.000 0.000 0.000 0.000 0.000

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 14 0 15 14 16

N.S.

1 1.00 1.14 0.86 1.00 0.00 1.07 1.00 1.14

time (sec)

N/A 0.180 1.574 0.324 0.556 0.000 0.342 0.510 14.266

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

105 105 310 0 0 0 0 0 0

N.S.

1 1.00 2.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 15.336 0.000 0.000 0.000 0.000 0.000 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 14 0 15 14 16

N.S.

1 1.00 1.14 0.86 1.00 0.00 1.07 1.00 1.14

time (sec)

N/A 0.181 1.727 0.341 0.561 0.000 0.378 0.915 14.437

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

110 110 10343 0 0 0 0 0 0

N.S.

1 1.00 94.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 47.202 0.000 0.000 0.000 0.000 0.000 0.000

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 14 0 15 14 16

N.S.

1 1.00 1.14 0.86 1.00 0.00 1.07 1.00 1.14

time (sec)

N/A 0.186 91.411 0.340 0.571 0.000 1.255 0.882 15.530

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

378 367 21987 0 0 0 0 0 0

N.S.

1 0.97 58.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.179 44.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

307 304 19126 0 0 0 0 0 0

N.S.

1 0.99 62.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.801 44.100 0.000 0.000 0.000 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

289 283 7325 0 0 0 0 0 0

N.S.

1 0.98 25.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.736 46.960 0.000 0.000 0.000 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

110 110 10363 0 0 0 0 0 0

N.S.

1 1.00 94.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.285 49.842 0.000 0.000 0.000 0.000 0.000 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 14 0 15 14 16

N.S.

1 1.00 1.14 0.86 1.00 0.00 1.07 1.00 1.14

time (sec)

N/A 0.174 95.807 0.353 0.567 0.000 2.158 2.112 15.501

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

174 195 4543 0 0 0 0 0 0

N.S.

1 1.12 26.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.602 38.302 0.000 0.000 0.000 0.000 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

174 195 4544 0 0 0 0 0 0

N.S.

1 1.12 26.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.585 38.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

174 195 7542 0 0 0 0 0 0

N.S.

1 1.12 43.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.603 84.739 0.000 0.000 0.000 0.000 0.000 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

174 195 7588 0 0 0 0 0 0

N.S.

1 1.12 43.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.598 82.398 0.000 0.000 0.000 0.000 0.000 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 23 0 23 27

N.S.

1 1.00 0.00 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.232 0.000 0.512 0.782 0.362 0.000 1.180 14.957

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 23 0 23 27

N.S.

1 1.00 0.00 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.237 0.000 0.475 0.796 0.418 0.000 0.979 14.780

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.234 105.480 0.523 0.781 0.375 0.000 0.775 14.857

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.232 135.587 0.467 0.745 1.123 9.412 1.155 14.513

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.230 22.268 0.466 0.740 0.461 1.102 0.864 14.363

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.232 89.468 0.501 0.763 1.062 0.669 1.207 14.922

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.229 100.394 0.492 0.756 0.671 0.689 1.589 13.982

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.232 88.292 0.481 0.792 1.101 3.984 0.915 15.178

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.228 146.018 0.481 0.786 0.725 11.370 1.175 14.319

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.234 162.745 0.463 0.806 1.045 0.000 1.237 16.619

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 44 0 23 27

N.S.

1 1.00 0.00 0.84 0.92 1.76 0.00 0.92 1.08

time (sec)

N/A 0.231 0.000 0.438 0.804 0.330 0.000 2.721 16.280

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 42 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 1.68 0.00 0.92 1.08

time (sec)

N/A 0.235 137.532 0.438 0.803 0.397 0.000 2.342 15.685

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 42 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 1.68 0.00 0.92 1.08

time (sec)

N/A 0.229 104.903 0.428 0.775 0.334 0.000 1.662 15.013

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.235 135.554 0.482 0.739 1.049 0.000 2.308 14.750

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.228 94.476 0.405 0.735 0.681 0.000 1.667 15.090

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.229 177.248 0.403 0.751 1.048 21.790 235.741 15.598

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.233 105.908 0.435 0.760 0.656 13.330 157.945 13.364

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.230 87.885 0.393 0.796 1.106 32.529 178.249 14.394

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 23 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.92 1.08

time (sec)

N/A 0.236 172.173 0.440 0.778 0.704 78.967 144.137 12.874

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 23 0 23 27

N.S.

1 1.00 0.00 0.84 0.92 0.92 0.00 0.92 1.08

time (sec)

N/A 0.235 0.000 0.391 0.789 1.051 0.000 147.930 15.191

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 60 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 2.40 0.00 0.92 1.08

time (sec)

N/A 0.237 168.432 0.434 2.477 0.344 0.000 4.420 16.964

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 58 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 2.32 0.00 0.92 1.08

time (sec)

N/A 0.234 131.812 0.477 2.468 0.412 0.000 4.269 16.403

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 58 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 2.32 0.00 0.92 1.08

time (sec)

N/A 0.235 125.057 0.434 2.199 0.339 0.000 2.819 16.404

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 49 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 1.96 0.00 0.92 1.08

time (sec)

N/A 0.236 127.237 0.471 2.136 1.071 0.000 4.485 16.005

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 49 0 23 27

N.S.

1 1.00 1.08 0.84 0.92 1.96 0.00 0.92 1.08

time (sec)

N/A 0.231 107.663 0.489 2.000 0.711 0.000 2.858 16.203

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 49 0 0 27

N.S.

1 1.00 0.00 0.84 0.92 1.96 0.00 0.00 1.08

time (sec)

N/A 0.240 0.000 0.426 2.079 1.083 0.000 0.000 17.077

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 49 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.96 0.00 0.00 1.08

time (sec)

N/A 0.231 159.669 0.415 2.113 0.757 0.000 0.000 14.209

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 49 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.96 0.00 0.00 1.08

time (sec)

N/A 0.243 167.847 0.437 2.102 1.056 0.000 0.000 17.023

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 49 0 0 27

N.S.

1 1.00 0.00 0.84 0.92 1.96 0.00 0.00 1.08

time (sec)

N/A 0.238 0.000 0.441 2.108 0.698 0.000 0.000 14.165

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 21 23 49 0 0 27

N.S.

1 1.00 0.00 0.84 0.92 1.96 0.00 0.00 1.08

time (sec)

N/A 0.235 0.000 0.452 2.149 1.137 0.000 0.000 17.040

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.00 1.08

time (sec)

N/A 0.232 105.062 0.472 0.767 0.332 0.000 0.000 15.588

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.00 0.00 1.08

time (sec)

N/A 0.230 124.662 0.410 0.778 0.367 0.000 0.000 15.418

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.00 1.08

time (sec)

N/A 0.236 17.638 0.484 0.805 0.321 123.114 0.000 15.711

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.00 1.08

time (sec)

N/A 0.233 17.873 0.501 0.747 1.209 2.963 0.000 15.611

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 23 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 0.92 0.96 0.00 1.08

time (sec)

N/A 0.232 2.330 0.406 0.744 0.474 1.142 0.000 15.275

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 44 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.76 1.04 0.00 1.08

time (sec)

N/A 0.233 3.584 0.471 0.762 1.097 0.717 0.000 16.201

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 44 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.76 1.04 0.00 1.08

time (sec)

N/A 0.226 103.358 0.454 0.764 0.687 1.536 0.000 14.106

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 46 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.84 1.04 0.00 1.08

time (sec)

N/A 0.229 107.784 0.473 0.809 1.047 12.067 0.000 17.424

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 46 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.84 1.04 0.00 1.08

time (sec)

N/A 0.227 122.161 0.555 1.302 0.766 28.316 0.000 14.410

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 46 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 1.84 0.00 0.00 1.08

time (sec)

N/A 0.232 138.691 0.468 1.308 1.123 0.000 0.000 17.530

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 51 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.04 0.00 0.00 1.08

time (sec)

N/A 0.244 135.060 0.477 0.757 0.367 0.000 0.000 16.591

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 51 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.04 0.00 0.00 1.08

time (sec)

N/A 0.237 143.550 0.409 0.766 0.405 0.000 0.000 16.534

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 51 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.04 0.96 0.00 1.08

time (sec)

N/A 0.231 125.267 0.448 0.774 0.387 137.513 0.000 16.495

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 51 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.04 0.96 0.00 1.08

time (sec)

N/A 0.237 140.734 0.468 0.737 1.128 10.725 0.000 16.619

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 51 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.04 0.96 0.00 1.08

time (sec)

N/A 0.235 120.847 0.444 0.743 0.749 3.919 0.000 16.799

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 60 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.40 1.04 0.00 1.08

time (sec)

N/A 0.237 126.558 0.390 0.760 1.106 5.040 0.000 17.473

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 60 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.40 1.04 0.00 1.08

time (sec)

N/A 0.236 128.176 0.481 1.279 0.875 12.661 0.000 14.643

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 62 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.48 1.04 0.00 1.08

time (sec)

N/A 0.237 142.497 0.464 1.296 1.174 72.583 0.000 16.737

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 62 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.48 1.04 0.00 1.08

time (sec)

N/A 0.238 110.662 0.474 1.307 0.975 166.153 0.000 13.641

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 62 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.48 0.00 0.00 1.08

time (sec)

N/A 0.241 147.763 0.432 1.310 1.110 0.000 0.000 18.365

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 67 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.68 0.00 0.00 1.08

time (sec)

N/A 0.244 129.791 0.478 0.761 0.451 0.000 0.000 17.151

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 67 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.68 0.00 0.00 1.08

time (sec)

N/A 0.242 148.846 0.459 0.780 0.415 0.000 0.000 18.057

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 67 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.68 0.00 0.00 1.08

time (sec)

N/A 0.241 126.546 0.403 0.800 0.444 0.000 0.000 17.974

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 67 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.68 0.96 0.00 1.08

time (sec)

N/A 0.238 144.619 0.481 0.753 1.103 62.853 0.000 19.302

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 67 24 0 27

N.S.

1 1.00 1.08 0.84 0.92 2.68 0.96 0.00 1.08

time (sec)

N/A 0.236 131.283 0.477 1.282 1.194 25.263 0.000 19.340

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 76 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 3.04 1.04 0.00 1.08

time (sec)

N/A 0.242 148.092 0.395 1.280 1.126 78.157 0.000 17.811

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 76 26 0 27

N.S.

1 1.00 1.08 0.84 0.92 3.04 1.04 0.00 1.08

time (sec)

N/A 0.237 135.389 0.476 1.293 1.619 166.166 0.000 14.449

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 78 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 3.12 0.00 0.00 1.08

time (sec)

N/A 0.239 153.892 0.481 1.331 1.143 0.000 0.000 19.245

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 78 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 3.12 0.00 0.00 1.08

time (sec)

N/A 0.239 114.955 0.390 2.278 2.142 0.000 0.000 14.519

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 21 23 78 0 0 27

N.S.

1 1.00 1.08 0.84 0.92 3.12 0.00 0.00 1.08

time (sec)

N/A 0.237 160.987 0.406 2.320 1.170 0.000 0.000 19.191

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

251 261 231 0 0 0 0 0 0

N.S.

1 1.04 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.386 0.928 0.000 0.000 0.000 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 180 171 0 0 0 0 0 0

N.S.

1 0.99 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.787 0.347 0.000 0.000 0.000 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 137 107 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.440 0.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

192 207 5280 0 0 0 0 0 0

N.S.

1 1.08 27.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.697 35.149 0.000 0.000 0.000 0.000 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

299 310 13816 0 0 0 0 0 0

N.S.

1 1.04 46.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.823 52.095 0.000 0.000 0.000 0.000 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.241 88.891 0.679 1.066 0.283 26.361 0.981 15.766

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.240 0.934 0.680 1.052 0.287 0.604 0.548 14.915

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.246 22.050 0.650 1.078 0.275 0.432 0.688 15.531

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 53 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 2.12 0.96 1.00 1.16

time (sec)

N/A 0.251 22.405 0.561 1.064 0.313 1.638 1.102 17.778

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 21 23 23 20 23 27

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.95 1.10 1.29

time (sec)

N/A 0.222 8.388 0.617 1.244 0.300 5.622 0.513 15.412

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 25 22 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.96 1.09 1.26

time (sec)

N/A 0.230 1.203 0.580 1.248 0.289 5.656 0.544 15.369

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

273 273 8899 0 0 0 0 0 0

N.S.

1 1.00 32.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 27.249 0.000 0.000 0.000 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

220 220 5564 0 0 0 0 0 0

N.S.

1 1.00 25.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.478 23.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

103 103 2828 0 0 0 0 0 0

N.S.

1 1.00 27.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 15.549 0.000 0.000 0.000 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 14 14 12 14 16

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.33

time (sec)

N/A 0.180 6.649 0.596 1.029 0.261 0.772 0.384 14.079

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 21 21 19 21 23

N.S.

1 1.00 1.11 1.00 1.11 1.11 1.00 1.11 1.21

time (sec)

N/A 0.210 13.483 0.563 1.561 0.262 7.936 0.472 14.101

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 21 23 23 20 23 25

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.95 1.10 1.19

time (sec)

N/A 0.218 14.317 1.683 2.221 0.283 37.774 0.490 14.464

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 145 90 318 0 159 0 0 87

N.S.

1 1.07 0.67 2.36 0.00 1.18 0.00 0.00 0.64

time (sec)

N/A 0.591 0.476 12.217 0.000 0.102 0.000 0.000 14.087

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 117 77 290 0 148 0 0 87

N.S.

1 1.05 0.69 2.61 0.00 1.33 0.00 0.00 0.78

time (sec)

N/A 0.561 0.613 10.972 0.000 0.096 0.000 0.000 14.370

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 89 66 262 0 137 0 0 80

N.S.

1 1.02 0.76 3.01 0.00 1.57 0.00 0.00 0.92

time (sec)

N/A 0.448 0.320 9.102 0.000 0.099 0.000 0.000 14.353

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 62 53 228 0 125 0 0 53

N.S.

1 1.02 0.87 3.74 0.00 2.05 0.00 0.00 0.87

time (sec)

N/A 0.424 0.171 7.037 0.000 0.092 0.000 0.000 0.179

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 152 0 107 0 0 33

N.S.

1 1.00 0.91 4.34 0.00 3.06 0.00 0.00 0.94

time (sec)

N/A 0.347 0.216 4.544 0.000 0.093 0.000 0.000 0.239

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 58 51 150 0 156 0 0 60

N.S.

1 1.02 0.89 2.63 0.00 2.74 0.00 0.00 1.05

time (sec)

N/A 0.423 0.240 5.725 0.000 0.090 0.000 0.000 14.579

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 85 65 396 0 175 0 0 87

N.S.

1 1.02 0.78 4.77 0.00 2.11 0.00 0.00 1.05

time (sec)

N/A 0.460 0.528 11.237 0.000 0.102 0.000 0.000 14.955